Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL

Modeling is widely accepted to be essential to design activity. A major benefit is the use of formal methods for analysis and predictability. In Polychrony, the tool-set of the Signal language, a component-based approach have been defined to model avionics applications. This approach uses Signal models of so-called APEX services based on the avionics standard ARINC 653. This gives access to the formal tools and techniques available within Polychrony for verification and analysis. In this paper, we illustrate the approach by considering a small example of avionics application. We show how an associated Signal model is obtained for the purpose of temporal validation. This brings out the capability of the Signal to seamlessly address critical issues in real-time system design.